Computing (FOLDOC) dictionary
Constraint Logic Programming
Jump to user comments
(CLP) A programming framework based (like
Prolog) on
LUSHsolver one at a time. If the new constraint is consistent
with the collected constraints it will be added to the set.
If it was inconsistent, it will cause the engine to
["Constraint Logic Programming", J. Jaffar et al, 14th POPL,
ACM 1987].
(1994-11-01)